EN FR
EN FR


previous Previous | up Home | Next next


Section: Dissemination

Scientific Animation

Editorial board

  • Information & Computation (Véronique Cortier)

  • Journal of Computer Security (Véronique Cortier)

Conferences

  • FroCoS 2013, 9th Symposium on Frontiers of Combining Systems, 18–20 September 2013, Nancy, France, (Christophe Ringeissen, conference chair)

Program committees

  • Fabrice Bouquet: ICST 2013 (Publicity Chair), MoDeVVA 2013

  • Véronique Cortier: CSF 2013 (PC Chair), CCS 2013, LICS 2013, POST 2013

  • Frédéric Dadeau : CSTVA'2013 (PC Chair), QSIC'2013.

  • Abdessamad Imine: AICCSA 2013 (co-chair), CIIA 2013, DEXA 2013, DEXA 2014

  • Steve Kremer: ACNS 2014, POST 2014 (PC Chair), Security Track of ACM SAC 2014 (PC Chair), ESORICS 2013, ICICS 2013, ISPEC 2013, POST 2013, RV 2013

  • Christophe Ringeissen: CADE-24, FroCoS 2013, UNIF 2013, UNIF 2014 (co-chair)

  • Michael Rusinowitch: LATA 2013, CRISIS 2013, ESSOS DS 2013, GRSRD 2013.

  • Laurent Vigneron: UNIF 2013.

Steering committees

  • Véronique Cortier: FCS (Chair), CSF

  • Steve Kremer: CSF, ETAPS, POST

Spring school

  • Spring School on Trusted and Secure Composite Services, 27–31 May 2013, Malaga, Spain, (Abdessamad Imine, Lecturer)

  • JDEV'2013 National Day for Software development, 4–6 September 2013, Ecole polytechnique (Palaiseau), France (Bouquet F., Gauthier J.-M. and Enderlin I., 5 tutorials and 1 Lecturer) - 500 participants.

  • School of INRA on the Testing for Software Development, in PEPI IDL 2013 ("Partage d'Expérience et de Pratiques en Informatique" visant l'"Ingénierie Développement Logiciel"), 9–12 December 2013, Ecully (69) France (Bouquet F., Gauthier J.-M. and Enderlin I., 3 days of tutorials) - 30 participants.

  • 13th International School on Foundations of Security Analysis and Design, 2–7 September 2013, Bertinoro, Italy (Mathieu Turuani, Tutorial).

  • AFADL'2013 (“Approches Formelles dans l'Assistance au Développement de Logiciels”), during the GDR - GPL - CIEL - AFADL Days, 2–5 april 2013, Nancy, France (Mathieu Turuani, Tutorial) - 135 participants.

Working groups

  • GT-Verif, Verification, GDR IM Working Group (Véronique Cortier, chair)

  • IFIP WG-1.7 Foundations of Security Analysis (Véronique Cortier, vice-Chair)

  • IFIP WG-1.6 - Term Rewriting (Michael Rusinowitch, Laurent Vigneron)

  • MTV2, Testing Methods for Verification and Validation, GDR GPL Working Group (Frédéric Dadeau, co-chair)

  • FORWAL, Formalisms and Tools for Verification and Validation, GDR GPL Working Group (Pierre-Cyrille Héam, co-chair)



previous Previous | up Home | Next next